proof using constant function theorem